Automatic programming - PDFSEARCH.IO - Document Search Engine

Automatic programming
Results: 566

#	Item
361	Automatic MPI to AMPI Program Transformation using Photran Stas Negara1 , Gengbin Zheng1 , Kuo-Chuan Pan2 , Natasha Negara3 , Ralph E. Johnson1 , Laxmikant V. Kal´e1 , and Paul M. Ricker2 1 Add to Reading List Source URL: charm.cs.illinois.edu Language: English - Date: 2011-05-01 22:23:07 Procedural programming languages Data types Application programming interfaces Parallel computing Message Passing Interface Fortran Charm++ Global variable Subroutine Computing Software engineering Computer programming
362	Progress Report on Leo-II, an Automatic Theorem Prover for Higher-Order Logic? Christoph Benzm¨ uller1,2 , Larry Paulson1 , Frank Theiss2 , and Arnaud Fietzke2 1 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:07 Mathematics Formal methods Resolution Lambda calculus First-order logic Logic programming Unification Vampire Simply typed lambda calculus Theoretical computer science Automated theorem proving Mathematical logic
363	APPENDIX TO THE RECOMMENDATION REVISED OECD STANDARD MAGNETIC FORMAT FOR AUTOMATIC EXCHANGE OF INFORMATION Technical introduction The revised OECD Standard Magnetic Format is an improved version of the 1992 Standard Magn Add to Reading List Source URL: www.oecd.org Language: English - Date: 2014-07-21 13:31:19 Procedural programming languages Data types Primitive types Finance Address Human geography C String Tax Computing Software engineering Computer programming
364	Towards Automatic Generation of Domain-Specific Mathematical Input Support Eric Andr`es∗ Bastiaan Heeren Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-09 06:07:30 Computing Generic programming OpenMath Least common multiple Template Fraction Function Mathematics Elementary arithmetic Numbers
365	LNAI[removed]Automatic Spelling Correction in Galician Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-20 11:48:57 Microbial population biology Microbiology Virology Dynamic programming Systems theory Systems science Biology Error threshold Evolutionary biology
366	Automatic MPI to AMPI Program Transformation Stas Negara1 , Kuo-Chuan Pan2 , Gengbin Zheng1 , Natasha Negara3 , Ralph E. Johnson1 , Laxmikant V. Kal´e1 , Paul M. Ricker2 1 Department of Computer Science Add to Reading List Source URL: charm.cs.illinois.edu Language: English - Date: 2011-05-01 22:22:03 Data types Application programming interfaces Parallel computing Message Passing Interface Charm++ Procedural programming languages Subroutine Fortran Global variable Computing Software engineering Computer programming
367	Garbage Collection Programming Guide (Retired Document) Contents Add to Reading List Source URL: developer.apple.com Language: English - Date: 2015-02-08 19:45:31 Memory management Data types Automatic memory management Primitive types Garbage collection Reference counting Computing platforms Cocoa Weak reference Computing Software engineering Computer programming
368	Programming Shared Memory Systems with OpenMP Add to Reading List Source URL: www.lrz.de Language: English - Date: 2014-04-02 09:41:31 Parallel computing Application programming interfaces Fortran OpenMP Thread Lis Compiler Automatic parallelization tool Intel C++ Compiler Computing Computer programming Software
369	How to create/avoid memory leak in Java and .NET? Venkat Subramaniam [removed] http://www.durasoftcorp.com Abstract Java and .NET provide run time environment for managed code, and Automatic Garbage Add to Reading List Source URL: agiledeveloper.com Language: English - Date: 2010-08-05 09:38:44 Memory management Object-oriented programming Data types Automatic memory management Method Garbage collection Java Finalizer Memory leak Computing Software engineering Computer programming
370	¨ t Augsburg Universita Model-Driven Code Generation for Information Flow Secure Systems with IFlow Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:12:56 UML diagrams Diagrams Knowledge representation Class diagram Stereotype MagicDraw Eclipse ECO Automatic programming Software Computing Unified Modeling Language

UPDATE